Doações 15 de Setembro 2024 – 1º de Outubro 2024 Sobre a angariação de fundos
1
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]

Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]

Ano:
2006
Idioma:
english
Arquivo:
PDF, 2.98 MB
0 / 0
english, 2006